alpha :: forall a . F a -> G a